EXTRA_DIST = $(srcdir)/leon3.aadl \
	$(srcdir)/spif2.aadl
